| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Compilerbau | Fach-/Modulprüfung | 6 | 488864 | ||
| Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 488497 | ||
| Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 489132 | ||
| Vorlesung/Übung | 485197 | Mo 08:30-10:00 AH III (2350|314.1) (×13) Di 10:30-11:15 AH VI (2356|051) (×12) Fr 08:30-10:00 AH II (2350|111) (×13) | |||
| Komplexitätstheorie | Fach-/Modulprüfung | 6 | 489177 | ||
| Vorlesung | 496466 | Do 12:30-14:00 AH VI (2356|051) (×15) Fr 12:30-14:00 AH I (2350|028) (×1) | |||
| Übung | 496467 | Fr 12:30-14:00 AH I (2350|028) (×13) | |||
| Mathematische Logik II | Fach-/Modulprüfung | 6 | 488924 | ||
| Vorlesung | 494454 | Mo 10:30-12:00 IV (1010|141) (×12) Di 12:30-14:00 AH I (2350|028) (×13) | |||
| Übung | 494455 | Di 14:15-15:45 AH I (2350|028) (×11) Di 14:30-16:00 AH I (2350|028) (×1) Mi 08:30-12:00 AH II (2350|111) (×1) Do 10:30-12:30 AH II (2350|111) (×1) | |||
| Model Checking | Fach-/Modulprüfung | 6 | 491945 |